/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

package fr.ove.openmath.exceptions;

/**
 *
 * @author Mr.Sam
 */
import fr.ove.openmath.exceptions.*;

/**
* Specific Mfd2 exception to specialize treatment of errors according
* to the symbol that thrown it.
*
* @author © 1998 DIRAT Laurent
* @version 1.0  13/04/99
*/
public class Mfd2Exception extends ErrorMessageException {
    /**
    * The constructor.
    * @param symbol The symbol which thrown the instance.
    */
    public Mfd2Exception(String symbol) {
        this(symbol, null);
    }

    /**
    * The constructor.
    * @param symbol the symbol which thrown the instance.
    * @param details the details of the exception
    */
    public Mfd2Exception(String symbol, Object details) {
        super(symbol, details);

        if (symbol.equals("dontknow"))
            setErrorMessage("can't accomplish the request");
        else if (symbol.equals("wrongRequest"))
            setErrorMessage("error in the request");
    }
}
